\begin{tabbing}
w\_sends\=\{i:l\}\+
\\[0ex]($w$; $p$; $e$; $l$)
\-\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\=sends(product{-}deq(Id;$\mathbb{N}$;IdDeq;NatDeq);IdLnkDeq;$\lambda$$e$.w{-}pred($w$;$e$);$\lambda$$e$.w{-}info($w$;$e$);$\lambda$$e$.w{-}eval\+
\\[0ex]($w$; $e$);1of(TERMOF\{w{-}order{-}axioms:ObjectId, 1:l, i:l\}($w$,$p$));$e$;$l$)
\-
\end{tabbing}